Optimal. Leaf size=119 \[ -\frac {6 c^2 d^2 (d+e x)^{13/2} \left (c d^2-a e^2\right )}{13 e^4}+\frac {6 c d (d+e x)^{11/2} \left (c d^2-a e^2\right )^2}{11 e^4}-\frac {2 (d+e x)^{9/2} \left (c d^2-a e^2\right )^3}{9 e^4}+\frac {2 c^3 d^3 (d+e x)^{15/2}}{15 e^4} \]
________________________________________________________________________________________
Rubi [A] time = 0.08, antiderivative size = 119, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 2, integrand size = 37, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.054, Rules used = {626, 43} \begin {gather*} -\frac {6 c^2 d^2 (d+e x)^{13/2} \left (c d^2-a e^2\right )}{13 e^4}+\frac {6 c d (d+e x)^{11/2} \left (c d^2-a e^2\right )^2}{11 e^4}-\frac {2 (d+e x)^{9/2} \left (c d^2-a e^2\right )^3}{9 e^4}+\frac {2 c^3 d^3 (d+e x)^{15/2}}{15 e^4} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 43
Rule 626
Rubi steps
\begin {align*} \int \sqrt {d+e x} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^3 \, dx &=\int (a e+c d x)^3 (d+e x)^{7/2} \, dx\\ &=\int \left (\frac {\left (-c d^2+a e^2\right )^3 (d+e x)^{7/2}}{e^3}+\frac {3 c d \left (c d^2-a e^2\right )^2 (d+e x)^{9/2}}{e^3}-\frac {3 c^2 d^2 \left (c d^2-a e^2\right ) (d+e x)^{11/2}}{e^3}+\frac {c^3 d^3 (d+e x)^{13/2}}{e^3}\right ) \, dx\\ &=-\frac {2 \left (c d^2-a e^2\right )^3 (d+e x)^{9/2}}{9 e^4}+\frac {6 c d \left (c d^2-a e^2\right )^2 (d+e x)^{11/2}}{11 e^4}-\frac {6 c^2 d^2 \left (c d^2-a e^2\right ) (d+e x)^{13/2}}{13 e^4}+\frac {2 c^3 d^3 (d+e x)^{15/2}}{15 e^4}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.09, size = 111, normalized size = 0.93 \begin {gather*} \frac {2 (d+e x)^{9/2} \left (715 a^3 e^6-195 a^2 c d e^4 (2 d-9 e x)+15 a c^2 d^2 e^2 \left (8 d^2-36 d e x+99 e^2 x^2\right )+c^3 d^3 \left (-16 d^3+72 d^2 e x-198 d e^2 x^2+429 e^3 x^3\right )\right )}{6435 e^4} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 0.12, size = 151, normalized size = 1.27 \begin {gather*} \frac {2 (d+e x)^{9/2} \left (715 a^3 e^6-2145 a^2 c d^2 e^4+1755 a^2 c d e^4 (d+e x)+2145 a c^2 d^4 e^2-3510 a c^2 d^3 e^2 (d+e x)+1485 a c^2 d^2 e^2 (d+e x)^2-715 c^3 d^6+1755 c^3 d^5 (d+e x)-1485 c^3 d^4 (d+e x)^2+429 c^3 d^3 (d+e x)^3\right )}{6435 e^4} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.40, size = 335, normalized size = 2.82 \begin {gather*} \frac {2 \, {\left (429 \, c^{3} d^{3} e^{7} x^{7} - 16 \, c^{3} d^{10} + 120 \, a c^{2} d^{8} e^{2} - 390 \, a^{2} c d^{6} e^{4} + 715 \, a^{3} d^{4} e^{6} + 33 \, {\left (46 \, c^{3} d^{4} e^{6} + 45 \, a c^{2} d^{2} e^{8}\right )} x^{6} + 9 \, {\left (206 \, c^{3} d^{5} e^{5} + 600 \, a c^{2} d^{3} e^{7} + 195 \, a^{2} c d e^{9}\right )} x^{5} + 5 \, {\left (160 \, c^{3} d^{6} e^{4} + 1374 \, a c^{2} d^{4} e^{6} + 1326 \, a^{2} c d^{2} e^{8} + 143 \, a^{3} e^{10}\right )} x^{4} + 5 \, {\left (c^{3} d^{7} e^{3} + 636 \, a c^{2} d^{5} e^{5} + 1794 \, a^{2} c d^{3} e^{7} + 572 \, a^{3} d e^{9}\right )} x^{3} - 3 \, {\left (2 \, c^{3} d^{8} e^{2} - 15 \, a c^{2} d^{6} e^{4} - 1560 \, a^{2} c d^{4} e^{6} - 1430 \, a^{3} d^{2} e^{8}\right )} x^{2} + {\left (8 \, c^{3} d^{9} e - 60 \, a c^{2} d^{7} e^{3} + 195 \, a^{2} c d^{5} e^{5} + 2860 \, a^{3} d^{3} e^{7}\right )} x\right )} \sqrt {e x + d}}{6435 \, e^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.29, size = 1293, normalized size = 10.87
result too large to display
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.05, size = 131, normalized size = 1.10 \begin {gather*} \frac {2 \left (e x +d \right )^{\frac {9}{2}} \left (429 c^{3} d^{3} e^{3} x^{3}+1485 a \,c^{2} d^{2} e^{4} x^{2}-198 c^{3} d^{4} e^{2} x^{2}+1755 a^{2} c d \,e^{5} x -540 a \,c^{2} d^{3} e^{3} x +72 c^{3} d^{5} e x +715 a^{3} e^{6}-390 a^{2} c \,d^{2} e^{4}+120 a \,c^{2} d^{4} e^{2}-16 c^{3} d^{6}\right )}{6435 e^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 1.01, size = 137, normalized size = 1.15 \begin {gather*} \frac {2 \, {\left (429 \, {\left (e x + d\right )}^{\frac {15}{2}} c^{3} d^{3} - 1485 \, {\left (c^{3} d^{4} - a c^{2} d^{2} e^{2}\right )} {\left (e x + d\right )}^{\frac {13}{2}} + 1755 \, {\left (c^{3} d^{5} - 2 \, a c^{2} d^{3} e^{2} + a^{2} c d e^{4}\right )} {\left (e x + d\right )}^{\frac {11}{2}} - 715 \, {\left (c^{3} d^{6} - 3 \, a c^{2} d^{4} e^{2} + 3 \, a^{2} c d^{2} e^{4} - a^{3} e^{6}\right )} {\left (e x + d\right )}^{\frac {9}{2}}\right )}}{6435 \, e^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.07, size = 106, normalized size = 0.89 \begin {gather*} \frac {2\,{\left (a\,e^2-c\,d^2\right )}^3\,{\left (d+e\,x\right )}^{9/2}}{9\,e^4}-\frac {\left (6\,c^3\,d^4-6\,a\,c^2\,d^2\,e^2\right )\,{\left (d+e\,x\right )}^{13/2}}{13\,e^4}+\frac {2\,c^3\,d^3\,{\left (d+e\,x\right )}^{15/2}}{15\,e^4}+\frac {6\,c\,d\,{\left (a\,e^2-c\,d^2\right )}^2\,{\left (d+e\,x\right )}^{11/2}}{11\,e^4} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 5.41, size = 165, normalized size = 1.39 \begin {gather*} \frac {2 \left (\frac {c^{3} d^{3} \left (d + e x\right )^{\frac {15}{2}}}{15 e^{3}} + \frac {\left (d + e x\right )^{\frac {13}{2}} \left (3 a c^{2} d^{2} e^{2} - 3 c^{3} d^{4}\right )}{13 e^{3}} + \frac {\left (d + e x\right )^{\frac {11}{2}} \left (3 a^{2} c d e^{4} - 6 a c^{2} d^{3} e^{2} + 3 c^{3} d^{5}\right )}{11 e^{3}} + \frac {\left (d + e x\right )^{\frac {9}{2}} \left (a^{3} e^{6} - 3 a^{2} c d^{2} e^{4} + 3 a c^{2} d^{4} e^{2} - c^{3} d^{6}\right )}{9 e^{3}}\right )}{e} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________